exponetial lower bound

指数下界